a tool for analyzing conflicts